Философский энциклопедический словарь - исчисление высказывания (пропозициональное исчисление)
Связанные словари
Исчисление высказывания (пропозициональное исчисление)
исчисление высказывания (пропозициональное исчисление)
— логическая система, формализующая рассуждения, основанные на структуре сложных высказываний в отвлечении от внутренней структуры элементарных высказываний. Классическое И. в. непротиворечиво (Непротиворечивость аксиоматической теории), обладает полнотой (Полнота аксиоматической теории). О неклассическом И. в. см. Конструктивная логика. Многозначная логика.
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2505 | |
2 | 2322 | |
3 | 1991 | |
4 | 1976 | |
5 | 1926 | |
6 | 1830 | |
7 | 1724 | |
8 | 1660 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1388 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1036 | |
20 | 963 |